Tobias Nipkow: որոնել Z-Library կայքում

Նվիրատվություններ Սեպտեմբերի 15 2024 – Հոկտեմբերի 1 2024 Դրամահավաքի մասին

Գիտելիքների և մշակույթի ազատ հասանելիություն:

Նվիրատվություններ Սեպտեմբերի 15 2024 – Հոկտեմբերի 1 2024

Z-Library-ը աշխարհի ամենամեծ առցանց գրադարաններից մեկն է, որտեղ տեղակայված ենավելի քան 17,000,000 գրքեր և 84,837,000 հոդվածներ: Մենք ձգտում ենք գրականությունը մատչելի դարձնել բոլորի համար. Այսօր (Սեպտեմբերի 15 2024) մենք բացում ենք նվիրատվությունների լրացուցիչ հավաք՝ նախագիծը աջակցելու և զարգացնելու համար.

Նաև, ԱՆՍԱՀՄԱՆԱՓԱԿ ներբեռնումներ (նվիրատվության օրվանից 31 օր սկսած) հասանելի կլինեն բոլոր օգտվողներին, ովքեր նվիրատվություն են կատարում գումարների հավաքման ընթացքում՝ մինչևՀոկտեմբերի 1 2024.

Դրամահավաքի մասինՄանրամասն

Գրքեր (21)
Ամենահայտնի
Ցուցակ
- Ցուցակ
- Աղյուսակ

1

Term Rewriting and All That

Term Rewriting and All That

Cambridge University Press

Franz Baader, Tobias Nipkow

Տարի:

1998

Լեզու:

english

Ֆայլ:

PDF, 25.10 MB

0 / 5.0

english, 1998

2

Isabelle/HOL: A Proof Assistant for Higher-Order Logic

Isabelle/HOL: A Proof Assistant for Higher-Order Logic

Springer-Verlag Berlin Heidelberg

Tobias Nipkow, Markus Wenzel, Lawrence C. Paulson (eds.)

Տարի:

2002

Լեզու:

english

Ֆայլ:

PDF, 824 KB

0 / 0

english, 2002

3

Formal Logical Methods for System Security and Correctness

Formal Logical Methods for System Security and Correctness

Orna Grumberg, Orna Grumberg, Tobias Nipkow, Christian Pfaller

Տարի:

2008

Լեզու:

english

Ֆայլ:

PDF, 1.73 MB

0 / 0

english, 2008

4

Functional Algorithms, Verified!

Functional Algorithms, Verified!

Tobias Nipkow, Jasmin Blanchette, Manuel Eberl, Alejandro Gómez Londoño, Peter Lammich, Christian Sternagel, Simon Wimmer, Bohua Zhan

Տարի:

2021

Լեզու:

english

Ֆայլ:

PDF, 1.21 MB

0 / 5.0

english, 2021

5

Term rewriting and all that

Term rewriting and all that

Cambridge University Press

Franz Baader, Tobias Nipkow

Տարի:

1998

Լեզու:

english

Ֆայլ:

DJVU, 2.40 MB

0 / 0

english, 1998

6

Term Rewriting and All That

Term Rewriting and All That

Cambridge University Press

Franz Baader, Tobias Nipkow

Տարի:

1998

Լեզու:

english

Ֆայլ:

DJVU, 2.19 MB

0 / 0

english, 1998

7

Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings

Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Neil D. Jones (auth.), Rajeev Goré, Alexander Leitsch, Tobias Nipkow (eds.)

Տարի:

2001

Լեզու:

english

Ֆայլ:

PDF, 6.88 MB

0 / 0

english, 2001

8

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Thomas A. Henzinger, Joseph Sifakis (auth.), Jayadev Misra, Tobias Nipkow, Emil Sekerinski (eds.)

Տարի:

2006

Լեզու:

english

Ֆայլ:

PDF, 6.76 MB

0 / 0

english, 2006

9

Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings

Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Tobias Nipkow (auth.), Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone (eds.)

Տարի:

2006

Լեզու:

english

Ֆայլ:

PDF, 3.72 MB

0 / 0

english, 2006

10

Term Rewriting and All that

Term Rewriting and All that

Cambridge University Press

Franz Baader, Tobias Nipkow

Տարի:

1998

Լեզու:

english

Ֆայլ:

PDF, 12.09 MB

0 / 0

english, 1998

11

Concrete Semantics: With Isabelle/HOL

Concrete Semantics: With Isabelle/HOL

Springer International Publishing

Tobias Nipkow, Gerwin Klein (auth.)

Տարի:

2014

Լեզու:

english

Ֆայլ:

PDF, 3.97 MB

0 / 0

english, 2014

12

Concrete Semantics with Isabelle/HOL

Concrete Semantics with Isabelle/HOL

Tobias Nipkow, Gerwin Klein

Տարի:

2017

Լեզու:

english

Ֆայլ:

PDF, 1.55 MB

0 / 5.0

english, 2017

13

Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98 Canberra, Australia September 27–October 1, 1998 Proceedings

Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98 Canberra, Australia September 27–October 1, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Tobias Nipkow (auth.), Jim Grundy, Malcolm Newey (eds.)

Տարի:

1998

Լեզու:

english

Ֆայլ:

DJVU, 3.64 MB

0 / 0

english, 1998

14

Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95 Aarhus, Denmark, May 19–20, 1995 Selected Papers

Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95 Aarhus, Denmark, May 19–20, 1995 Selected Papers

Springer-Verlag Berlin Heidelberg

Olaf Müller, Tobias Nipkow (auth.), E. Brinksma, W. R. Cleaveland, K. G. Larsen, T. Margaria, B. Steffen (eds.)

Տարի:

1995

Լեզու:

english

Ֆայլ:

DJVU, 2.30 MB

0 / 0

english, 1995

15

Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers

Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers

Springer-Verlag Berlin Heidelberg

Andrea Asperti, Cosimo Laneve (auth.), Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow (eds.)

Տարի:

1994

Լեզու:

english

Ֆայլ:

DJVU, 2.66 MB

0 / 0

english, 1994

16

Functional Programming Languages and Computer Architecture: 5th ACM Conference Cambridge, MA, USA, August 26–30, 1991 Proceedings

Functional Programming Languages and Computer Architecture: 5th ACM Conference Cambridge, MA, USA, August 26–30, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Tobias Nipkow (auth.), John Hughes (eds.)

Տարի:

1991

Լեզու:

english

Ֆայլ:

DJVU, 6.63 MB

0 / 0

english, 1991

17

Types for Proofs and Programs: International Workshop TYPES'93 Nijmegen, The Netherlands, May 24–28, 1993 Selected Papers

Types for Proofs and Programs: International Workshop TYPES'93 Nijmegen, The Netherlands, May 24–28, 1993 Selected Papers

Springer-Verlag Berlin Heidelberg

Henk Barendregt, Tobias Nipkow (eds.)

Տարի:

1994

Լեզու:

english

Ֆայլ:

DJVU, 2.98 MB

0 / 0

english, 1994

18

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)

Տարի:

2009

Լեզու:

english

Ֆայլ:

PDF, 5.50 MB

0 / 0

english, 2009

19

Rewriting Techniques and Applications: 9th International Conference, RTA-98 Tsukuba, Japan, March 30 – April 1, 1998 Proceedings

Rewriting Techniques and Applications: 9th International Conference, RTA-98 Tsukuba, Japan, March 30 – April 1, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

J. W. Klop (auth.), Tobias Nipkow (eds.)

Տարի:

1998

Լեզու:

english

Ֆայլ:

DJVU, 2.95 MB

0 / 0

english, 1998

20

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)

Տարի:

2009

Լեզու:

english

Ֆայլ:

PDF, 5.45 MB

0 / 0

english, 2009

21

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)

Տարի:

2009

Լեզու:

english

Ֆայլ:

PDF, 4.74 MB

0 / 0

english, 2009